<?hh
<<__EntryPoint>> function main(): void {
$a = null;
 var_dump(+HH\Lib\Legacy_FIXME\cast_for_arithmetic($a));
$a = null;
 var_dump(-HH\Lib\Legacy_FIXME\cast_for_arithmetic($a));
$a = null;
 $b = null;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = true;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = null;
 $b = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = null;
 $b = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = null;
 $b = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = true;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = true;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = null;
 $b = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = null;
 $b = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = null;
 $b = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = true;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = true;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = null;
 $b = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = null;
 $b = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = null;
 $b = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = true;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = true;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / $b);
$a = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / $b);
$a = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / $b);
$a = null;
 $b = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / $b);
$a = null;
 $b = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = null;
 $b = true;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= $b;
 var_dump($a);
$a = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= $b;
 var_dump($a);
$a = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = null;
 $b = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= $b;
 var_dump($a);
$a = null;
 $b = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = true;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = true;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = true;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = true;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = true;
 $b = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = true;
 $b = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + $b);
$a = true;
 $b = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) + HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = true;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = true;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = true;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = true;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a += HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = true;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = true;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = true;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = true;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = true;
 $b = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = true;
 $b = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - $b);
$a = true;
 $b = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) - HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = true;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = true;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = true;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = true;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a -= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = true;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = true;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = true;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = true;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $b = 0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = true;
 $b = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = true;
 $b = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * $b);
$a = true;
 $b = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $b = 'foo';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) * HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = true;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = true;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = true;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = true;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 $b = 0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 $b = 'foo';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a *= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = true;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / $b);
$a = true;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / $b);
$a = true;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = null;
 $b = 1;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / $b);
$a = true;
 $b = null;
 $b = 1.0;
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / $b);
$a = true;
 $b = null;
 $b = '1.0';
 var_dump(HH\Lib\Legacy_FIXME\cast_for_arithmetic($a) / HH\Lib\Legacy_FIXME\cast_for_arithmetic($b));
$a = true;
 $b = true;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= $b;
 var_dump($a);
$a = true;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= $b;
 var_dump($a);
$a = true;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
$a = true;
 $b = null;
 $b = 1;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = 1.0;
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= $b;
 var_dump($a);
$a = true;
 $b = null;
 $b = '1.0';
 $a = HH\Lib\Legacy_FIXME\cast_for_arithmetic($a);
 $a /= HH\Lib\Legacy_FIXME\cast_for_arithmetic($b);
 var_dump($a);
}
